symmetric difference proof